A Fundamental Dichotomy for definably Complete expansions of Ordered Fields
نویسندگان
چکیده
An expansion of a definably complete field either defines a discrete subring, or the image of every definable discrete set under every definable map is nowhere dense. As an application we show a definable version of Lebesgue’s differentiation theorem.
منابع مشابه
Noetherian varieties in definably complete structures
We prove that the zero-set of a C∞ function belonging to a noetherian differential ring M can be written as a finite union of C∞ manifolds which are definable by functions from the same ring. These manifolds can be taken to be connected under the additional assumption that every zero-dimensional regular zero-set of functions in M consists of finitely many points. These results hold not only for...
متن کاملTame structures
We study various notions of “tameness” for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.
متن کاملDefinably complete and Baire structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However, ...
متن کاملDefinably Complete and Baire Structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a de-finable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However,...
متن کاملOn the Topology of Metric Spaces Definable in o-minimal expansions of fields
We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set equipped with its euclidean topology. This implies that a separable metric space which is definable in an o-minimal expansion of the real field is definably h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 80 شماره
صفحات -
تاریخ انتشار 2015